[数] 组合可定义性 definability: 可被定义的状况; 可定义性combinatorial: 组合的arithmetical definability: 算术可定义性finite definability: 有限可定义性implicit definability: 隐含可定义性下载手机词典可随时随地查词查翻译